Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
321	1 Content of the course ”Quantum Field Theory” by M. Srednicki, Part 1. Add to Reading List Source URL: www.theory.caltech.edu Language: English - Date: 2013-09-24 11:58:17 Operator Μ operator Hamiltonian Quantum field theory Creation and annihilation operators Self-adjoint operator Schrödinger equation Linear temporal logic Physics Quantum mechanics Wave function
322	Clay Mathematics Proceedings Volume 13, 2011 The Embedded Eigenvalue Problem for Classical Groups James Arthur This paper is dedicated to Freydoon Shahidi on the occasion of his sixtieth birthday. Add to Reading List Source URL: www2.maths.ox.ac.uk Language: English - Date: 2013-12-01 07:09:00 Group theory Representation theory Langlands–Shahidi method Automorphic L-function Operator Cuspidal representation Explicit formula Linear temporal logic Local Langlands conjectures Abstract algebra Automorphic forms Mathematics
323	A Counterexample Guided Abstraction Refinement Framework for Verifying Concurrent C Programs Sagar J. Chaki CMU-CS[removed] Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2005-05-24 15:53:16 Logic simulation Linear temporal logic Electronics Design Computing Model checking Logic design Abstraction
324	arXiv:0709.4668v1 [math.NT] 28 Sep[removed]CONSEQUENCES OF THE GROSS/ZAGIER FORMULAE: STABILITY OF AVERAGE L-VALUES, SUBCONVEXITY, AND NON-VANISHING MOD p Add to Reading List Source URL: www.math.caltech.edu Language: English - Date: 2008-08-08 13:44:50 Limit Mathematics Linear temporal logic Spectral theory of ordinary differential equations Mathematical analysis Arithmetic function Modular form
325	1 A Contract-Based Methodology for Aircraft Electric Power System Design Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto L. Sangiovanni-Vincentelli, Richard M. Murray, Alexandre Donz´e, Sanjit A. Seshia Add to Reading List Source URL: www.aero.umd.edu Language: English - Date: 2014-08-25 12:01:26 Electromagnetism Temporal logic Electronic design Systems engineering Linear temporal logic Reliability engineering Control theory Topology High-level synthesis Electronic engineering Design Electronic design automation
326	TuLiP: A Software Toolbox for Receding Horizon Temporal Logic Planning Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, and Richard M. Murray* * Singapore-MIT Alliance for Research and Technology, Sing Add to Reading List Source URL: www.aero.umd.edu Language: English - Date: 2014-08-25 12:01:34 Applied mathematics Linear temporal logic Temporal logic Formal verification Model checking Model predictive control Control theory SIGNAL Embedded system Electronic engineering Formal methods Formal sciences
327	(This is a sample cover image for this issue. The actual cover is not yet available at this time.) This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non- Add to Reading List Source URL: users.cms.caltech.edu Language: English - Date: 2012-03-25 23:29:54 Aerodynamics Navier–Stokes equations Sobolev space Differential equation Distribution Constructible universe Linear temporal logic Spectral theory of ordinary differential equations Mathematical analysis Calculus Partial differential equations
328	A correction to Conducteur des Repr´esentations du groupe lin´eaire Herv´e Jacquet December 5, 2011 Nadir Matringe has indicated to me that the paper Conducteur des Repr´esentations du groupe lin´eaire ([JPSS81a], c Add to Reading List Source URL: www.math.columbia.edu Language: English - Date: 2011-12-05 15:18:06 Representation theory Linear temporal logic
329	NuSMV 2: An OpenSource Tool for Symbolic Model Checking Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2002-07-09 12:35:04 Applied mathematics Formal methods Software Logic in computer science Model checking Electronic design automation Boolean algebra Boolean satisfiability problem Linear temporal logic Model checkers Theoretical computer science NuSMV
330	Contemporary Mathematics Archimedean Rankin-Selberg Integrals Herv´e Jacquet This paper is dedicated to Stephen Gelbart. Abstract. The paper gives complete proofs of the properties of the RankinSelberg integrals for th Add to Reading List Source URL: www.math.columbia.edu Language: English - Date: 2008-09-30 15:02:00 Mathematics Algebra Linear temporal logic Symbol Abstract algebra Representation theory Induced representation

UPDATE